while (i.hasNext()) {
Edge edge = i.next();
if (edge.getType() == edgeType)
return edge.getDest();
}
return null;
}
* the specified edge type
*/
public BasicBlock getSuccessorWithEdgeType(BasicBlock source, int edgeType) {
Edge edge = getOutgoingEdgeWithType(source, edgeType);
return edge != null ? edge.getDest() : null;
}
/**